Categorical algebra